맨위로가기

히르체브루흐-리만-로흐 정리

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

히르체브루흐-리만-로흐 정리는 콤팩트 복소다양체 X 위의 해석적 벡터 다발 E의 코호몰로지를 통해 정의되는 오일러 지표를 천 지표와 토드 특성류를 사용하여 계산하는 정리이다. 이 정리는 리만 곡면, 대수 곡면 등 다양한 특수한 경우를 포함하며, 리만-로흐 정리와 뇌터 공식을 포함한다. 또한, 점근적 리만-로흐 정리는 충분 선다발의 단면 공간의 차원에 대한 정보를 제공한다.

더 읽어볼만한 페이지

  • 복소기하학 정리 - 고다이라 매장 정리
    콤팩트 켈러 다양체가 사영 대수다양체가 될 필요충분조건을 제시하는 고다이라 매장 정리는 켈러 형식이 정수 코호몰로지에 속하는 켈러 다양체, 즉 호지 다양체가 사영 대수다양체를 이룬다는 내용으로, 고다이라 구니히코가 1954년에 고다이라 소멸 정리를 사용하여 증명했다.
  • 복소기하학 정리 - 리만 곡면 자기 동형군
    리만 곡면 자기 동형군은 복소 구조를 보존하는 리만 곡면의 자기사상들의 군으로, 리만 곡면의 대칭성을 연구하는 도구이며, 종수 g ≥ 2인 콤팩트 리만 곡면의 경우 후르비츠 정리에 의해 크기가 제한되고 특정 곡면(후르비츠 군)에서 발견됩니다.
  • 대수기하학 정리 - 리만-로흐 정리
    리만-로흐 정리는 콤팩트 리만 곡면에서 인자의 차수, 유리형 함수 공간의 차원, 곡면의 종수 사이의 관계를 나타내는 정리로서, 유리형 함수를 구성하는 문제에 대한 해답을 제시하며 다양한 분야에서 중요한 역할을 한다.
  • 대수기하학 정리 - 고다이라 매장 정리
    콤팩트 켈러 다양체가 사영 대수다양체가 될 필요충분조건을 제시하는 고다이라 매장 정리는 켈러 형식이 정수 코호몰로지에 속하는 켈러 다양체, 즉 호지 다양체가 사영 대수다양체를 이룬다는 내용으로, 고다이라 구니히코가 1954년에 고다이라 소멸 정리를 사용하여 증명했다.
  • 베른하르트 리만 - 리만 사상 정리
    리만 사상 정리는 복소해석학에서 단일 연결 열린 진부분집합 사이의 각도를 보존하는 정칙함수, 즉 등각 사상의 존재를 보장하는 중요한 정리이다.
  • 베른하르트 리만 - 리만-로흐 정리
    리만-로흐 정리는 콤팩트 리만 곡면에서 인자의 차수, 유리형 함수 공간의 차원, 곡면의 종수 사이의 관계를 나타내는 정리로서, 유리형 함수를 구성하는 문제에 대한 해답을 제시하며 다양한 분야에서 중요한 역할을 한다.

2. 정의

콤팩트 복소다양체 X 위에 해석적 벡터다발 E\to X가 있다고 하자. 그렇다면 E의 코호몰로지와, 이에 대응하는 오일러 지표 \chi(E)를 정의할 수 있다. 히르체브루흐-리만-로흐 정리에 따르면, 이는 다음과 같다.

:\chi(E)=\int_X\operatorname{ch}(E)\operatorname{Td}(X)

여기서 \operatorname{ch}(E)는 E의 천 지표, \operatorname{Td}(X)는 X의 접다발의 토드 특성류다.

좀 더 일반적으로, 콤팩트 복소다양체 ''X'' 위의 임의의 정칙 벡터 다발 ''E''에 대해, 층 코호몰로지에서 ''E''의 정칙 오일러 지표는 다음과 같은 교대 합이다.

: \chi(X,E) = \sum_{i=0}^{n} (-1)^{i} \dim_{\Complex} H^{i}(X,E)

여기서 차원은 복소 벡터 공간으로서, ''n''은 ''X''의 복소 차원이다.

히르체브루흐의 정리는 χ(''X'', ''E'')가 ''E''의 천 클래스 ''ck''(''E'')와 ''X''의 정칙 접다발의 토드 클래스 \operatorname{td}_{j}(X)를 사용하여 계산할 수 있다고 말한다. 이들은 모두 ''X''의 코호몰로지 환에 속한다. 기본 클래스를 사용함으로써 (또는, 다른 말로, ''X''에 대한 적분을 통해) H^{2n}(X)에 있는 클래스에서 숫자를 얻을 수 있다. 히르체브루흐 공식은 다음과 같다.

: \chi(X,E) = \sum \operatorname{ch}_{n-j}(E) \operatorname{td}_{j}(X),

여기서 합은 모든 관련 ''j''에 대해 취해지며 (0 ≤ ''j'' ≤ ''n''), 천 지표 ch(''E'')를 코호몰로지에서 사용한다. 즉, 곱은 2''n''으로 더해지는 모든 '일치하는' 차수의 코호몰로지 환에서 형성된다. 다르게 공식화하면, 다음과 같은 등식을 제공한다.

: \chi(X,E) = \int_X \operatorname{ch}(E) \operatorname{td}(X)

여기서 \operatorname{td}(X)는 ''X''의 접다발의 토드 클래스이다.

콤팩트한 복소다양체 X 위의 임의의 정칙 벡터 번들 E에 대한 층 계수 코호몰로지의 차수의 교대 합

: \chi(X,E) = \sum_{i=0}^{\dim_{\mathbb{C}} X} (-1)^{i} \dim_{\mathbb{C}} H^{i}(X,E)

는 E의 오일러 수라고 부른다. 히르체브루흐의 정리는 오일러 수 χ(X, E)를 E의 천류와 X의 토드류 (정확히는 X의 접벡터 다발의 토드류)로부터 계산할 수 있다는 정리이다. E의 천 지표를 ch(E)라고 하고, X의 토드류를 td(X)라고 하면, 정리는

: \chi(X,E) = \int_X \operatorname{ch}(E) \operatorname{td}(X)

로 쓸 수 있다. 여기서 ch(E)td(X)는 X의 코호몰로지 환에서의 곱이며, 이 코호몰로지류와 X의 기본류와의 페어링을 X 위에서의 적분으로 나타낸 것이다.

3. 역사

프리드리히 히르체브루흐가 1954년에 증명하였다.[1]

4. 리만-로흐 정리 (특수한 경우)

히르체브루흐-리만-로흐 정리는 다양한 특수한 경우를 포함한다. 그 중 대표적인 예로 리만 곡면과 대수 곡면에서의 정리가 있다.


  • 리만 곡면 (1차원 복소다양체): 리만-로흐 정리는 리만 곡면에서 인자와 관련된 함수 공간의 차원을 계산하는 데 사용되는 중요한 정리이다.
  • 대수 곡면 (2차원 복소다양체): 곡면에 대한 리만-로흐 정리는 대수 곡면에서 인자의 차원과 관련된 정보를 제공하며, 뇌터 공식과 결합하여 곡면의 기하학적 성질을 연구하는 데 사용된다.

4. 1. 리만 곡면 (1차원 복소다양체)

X가 리만 곡면이고, E\to X가 인자류 [D]에 대응하는 해석적 선다발일 때, 히르체브루흐-리만-로흐 정리에 따라 다음이 성립한다.

:h^0(E)-h^1(E)=\int_X(c_1(E)+c_1(X)/2)

여기서 c_1(X)는 X의 오일러 지표와 같고, 그 값은 \int_Xc_1(X)=\chi(X)=2-2g이다. (g는 X의 종수)

또한, \int_Xc_1(E)=\deg D이고, h^0(E)=I(D)이며, 세르 쌍대성에 의하여 h^1(E)=h^0(\mathcal O(K)\otimes E^{-1})=I(K-D)이다. (K는 표준 선다발의 인자)

따라서, 다음의 고전적인 리만-로흐 정리를 얻을 수 있다.

:I(D)-I(K-D)=\deg D+1-g

이 정리는 곡선 위의 각 인자 ''D''에 대해 O(''D'')라는 가역층(선다발에 해당)이 존재하여 ''D''의 선형계가 O(''D'')의 단면 공간과 거의 같다는 사실을 바탕으로 한다.

''h''0(O(''D''))는 ''l''(''D'')이며, ''D''의 선형계의 차원이고, 세르 쌍대성에 의해 ''h''1(O(''D'')) = ''h''0(O(''K'' − ''D'')) = ''l''(''K'' − ''D'')이며, 여기서 ''K''는 표준 인자이다. ''X''에 대해 적분된 ''c''1(O(''D''))는 ''D''의 차수이고, ''X''에 대해 적분된 ''c''1(''T''(''X''))는 곡선 ''X''의 오일러 지표 2 − 2''g''이다.

이를 통해 다음과 같은 고전적인 리만-로흐 정리를 유도할 수 있다.

:\ell(D)-\ell(K-D) = \text{deg}(D)+1-g.

벡터 다발 ''V''에 대해서는 천 특성이 rank(''V'') + ''c''1(''V'')이므로, 다음의 베유의 리만-로흐 정리를 얻는다.

:h^0(V) - h^1(V) = c_1(V) + \operatorname{rank}(V)(1-g).

4. 2. 대수 곡면 (2차원 복소다양체)

대수 곡면(2차원 복소다양체)의 경우, 히르체브루흐-리만-로흐 정리는 기본적으로 곡면에 대한 리만-로흐 정리와 같다.

:\chi(D) = \chi(\mathcal{O}) + ((D.D)-(D.K))/2.

이것은 뇌터 공식과 결합된다.

필요하다면, 세르 쌍대성을 사용하여 ''h''2(O(''D''))를 ''h''0(O(''K'' − ''D''))로 표현할 수 있지만, 곡선의 경우와 달리 일반적으로 층 코호몰로지를 포함하지 않는 형태로 ''h''1(O(''D'')) 항을 쉽게 쓸 수 있는 방법은 없다(실제로 이 항은 종종 사라진다).

X를 곡면으로 하고, D를 X 위의 인자로 하여 직선 묶음 E = O(D)의 오일러 수를 계산한다. E의 천 지표는 ch(E) = 1 + D + D²/2이다. 또한 X의 토드 유는 td(X) = 1 - K/2 + (K² + c₂(X))/12가 된다. 여기서 K는 X의 표준 인자이고 c₂(X)는 X의 접번들의 제2천류를 나타낸다. 이때, 히르체브루흐-리만-로흐 정리는 다음과 같다.

:\chi(\mathcal{O}(D))=\frac{1}{2}D(D-K)+\frac{1}{12}(K^2+c_2(X))

여기서 D = 0으로 하면, 뇌터 공식을 얻을 수 있다.

:\chi(\mathcal{O})=\frac{1}{12}(K^2+c_2(X))

위의 식은 다음과 같이 쓸 수도 있다.

:\chi(\mathcal{O}(D)) = \chi(\mathcal{O}) + \frac{1}{2}D(D-K)

4. 3. 오일러 지표

복소수 n차원 콤팩트 켈러 다양체 M의 경우, 오일러 지표는 돌보 코호몰로지를 통해 계산할 수 있다. 구체적으로,

:\chi(M)=\sum_{p,q}(-1)^{p+q}h^{p,q}(M)=\sum_n(-1)^p\chi\left(\bigwedge^pT_{\mathbb C}^*M\right)

이다. 여기서 h^{p,q}(M)는 호지 수이며, T_{\mathbb C}^*M은 M의 복소수 공변접다발이다.

분할 원리(splitting principle)에 따라, T_{\mathbb C}M을 구성하는 복소수 선다발들의 1차 천 특성류가

:(x_i)_{i=1,\dots,n}

라고 하자. 공변접다발을 구성하는 복소수 선다발들의 1차 천 특성류는 -x_i이다. 그렇다면,

:\bigwedge^pT_{\mathbb C}^*M

의 천 지표는 다음과 같다.

:\operatorname{ch}\left(\bigwedge^pT_{\mathbb C}^*M\right)=\sum_{I\subseteq\{1,2,\dots,n\}}^

5. 점근적 리만-로흐 정리 (Asymptotic Riemann–Roch)

차원 ''n''인 기약 사영 대수다양체 ''X'' 위의 충분 선다발인 카르티에 제수 ''D''가 주어졌다고 하자. 그러면 다음과 같다.

:h^0 \left (X,\mathcal O_X(mD) \right )=\frac{(D^n)}{n!}.m^n+O(m^{n-1}).

더 일반적으로, \mathcal F가 ''X'' 위의 임의의 가환층이면 다음과 같다.

:h^0 \left (X,\mathcal F\otimes \mathcal O_X(mD) \right )=\operatorname{rank}(\mathcal F)\frac{(D^n)}{n!}.m^n+O(m^{n-1}).


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com